﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Compilex.Automata;

namespace Infraestruturex.Automata.SPA
{
    [Serializable]
    public class SimpleTransitionRuleWithSemanticAction : SimpleTransitionRule<SPAState>
    {
        public string SemanticActionName { get; set; }

        public SimpleTransitionRuleWithSemanticAction(string input, SPAState destination)
            : base(input, destination)
        {
            this.SemanticActionName = "";
        }

        public SimpleTransitionRuleWithSemanticAction(string input, SPAState destination, string semanticActionName)
            : base(input, destination)
        {
            this.SemanticActionName = semanticActionName;
        }
    }
}
